формалізація

формалізація
ФОРМАЛІЗАЦІЯ (від лат. formalis - складений за формою) у математичній логіці - метод подання змістової теорії як числення. Ф. полягає в заміні всіх змістових тверджень відповідними їм послідовностями символів або формулами; у виявленні і перебудові структури теорії, внаслідок чого теорія набуває вигляду ланцюга формул, де кожна наступна логічно випливає з однієї або кількох попередніх (див. аксіоматичний метод, логістичний метод). Ф. використовують у математиці, логіці і в тих науках, рівень розвитку яких дає змогу застосовувати математичний апарат. Ф. як засіб пізнання має велике значення, зокрема, прокладає шлях "кібернетизації" знання та мислення - передачі машинам певної сторони інтелектуальної діяльності людини (див. штучний інтелект). Успіхи формалізації привели до перебільшення її пізнавальної ролі, особливо логічним позитивізмом. Проте, як виявилося, повністю можна формалізувати лише певні фрагменти змістових теорій, а не теорію в цілому.
П. Йолон

Філософський енциклопедичний словник / НАН України, Ін-т філософії ім. - К. : Абрис (Бібліотека Державного фонду фундаментальних досліджень). . 2002.

Игры ⚽ Нужно сделать НИР?

Смотреть что такое "формалізація" в других словарях:

  • формалізація — іменник жіночого роду …   Орфографічний словник української мови

  • формалізація — ї, ж. Представлення якої небудь змістовної галузі (знань) у вигляді формальної системи. || У математичній логіці – метод, що полягає в заміні всіх змістових термінів символами …   Український тлумачний словник

  • формалінізація — іменник жіночого роду …   Орфографічний словник української мови

  • облік — у, ч. 1) Засвідчення, встановлення наявності з ясування кількості чого небудь. Бути на обліку. 2) Реєстрація людей із занесенням у відповідні списки для їх використання де небудь, з ясування їх наявності, переміщення і т. ін. Сектор обліку. 3) ек …   Український тлумачний словник

  • математичні моделі схем відтворення — відтворення схеми, представленої й дослідженої за допомогою інструментарію макроекономічного моделювання. Схеми відтворення через формалізацію побудови можуть безпосередньо використовуватися як моделі. У цьому разі об’єктом дослідження є… …   Термінологічно-тлумачний словник "Моделювання економіки"

  • Портовое управление — ПОРТОВОЕ УПРАВЛЕНІЕ. Подъ воен. портомъ понимается расположенный на морск. побережьѣ пунктъ, въ к ромъ сосредоточиваются: 1) воен. судостроеніе и ремонтъ судовъ; 2) снабженіе ихъ всѣмъ необходимымъ; 3) учр нія и, зав нія мор го вѣд ва (см.… …   Военная энциклопедия

  • Голландия — ГОЛЛАНДІЯ или НИДЕРЛАНДЫ, королевство; площ. 28.784 кв. вер. Сухоп. граница почти сплошь идетъ по условной линіи, почему всюду доступна для вторженія. Берега низменны, песчаны и усѣяны дюнами; важнѣйшіе изъ заливовъ Нѣмец. моря Зюдерзее и Долартъ …   Военная энциклопедия

  • Коалиционные войны — *КОАЛИЦІОННЫЯ ВОЙНЫ, войны, ведущіяся нѣск. гос вами (коалиціей) противъ одного или нѣск. прот ковъ. Названіе коалиція впервые вошло въ употребленіе въ 1792 г. для обозначенія союза между Австріей и Пруссіей для поддержанія интересовъ Герм.… …   Военная энциклопедия

  • неформальний — а, е. 1) Позбавлений формалізму; творчий, не шаблонний. Неформальні рішення. 2) Не пов язаний з дотриманням прийнятих форм спілкування; неофіційний, вільний. Неформальні переговори. Неформальна освіта. Неформальний лідер. •• Неформа/льна гру/па… …   Український тлумачний словник

  • цільова функція — в оптимізаційних (екстремальних) задачах – функція невідомих, екстремум (максимум чи мінімум) якої необхідно знайти. Якщо він існує, то сукупність тих невідомих задачі, за яких цільова функція досягає шуканого екстремуму, називається розв’язком… …   Термінологічно-тлумачний словник "Моделювання економіки"

  • Кипрская война — (1570 73), одинъ изъ періодовъ столѣт. ожесточ. борьбы (конецъ XV и почти все XVI ст.) за воен. и торг. преобладаніе на Средизем. морѣ христіанъ съ мусульманами. Во главѣ первыхъ стояли Испанія, только что справившаяся съ маврами на Пирен. полуо… …   Военная энциклопедия


Поделиться ссылкой на выделенное

Прямая ссылка:
Нажмите правой клавишей мыши и выберите «Копировать ссылку»